The MINTO OSL interface

A Formal Programming Model of Orléans Skeleton Library

Orléans Skeleton Library (OSL) is a library of parallel algorithmic skeletons in C++ on top of MPI. It provides a structured approach towards parallel programming. Skeletons in OSL are based on the bulk synchronous parallelism model. In this paper we present formal semantics of OSL: a programming model and its properties proved with the Coq assistant.

Lifted Cover Inequalities for 0-1 Integer Programs: Computation

We investigate the algorithmic and implementation issues related to the eeective and eecient use of lifted cover inequalities and lifted GUB cover inequalities in a branch-and-cut algorithm for 0-1 integer programming. We have tried various strategies on several test problems and we identify the best ones for use in practice. Branch-and-cut, with lifted cover inequalities as cuts, has been used...

A MINTO short course

MINTO is a software system that solves mixed integer linear programs by a branch and bound algorithm with linear programming relaxations It also provides automatic con straint classi cation preprocessing primal heuristics and constraint generation More over the user can enrich the basic algorithm by providing a variety of specialized appli cation routines that can customize MINTO to achieve max...

MINTO, a mixed INTeger optimizer

MINTO is a software system that solves mixed integer linear programs by a branch and bound algorithm with linear programming relaxations It also provides automatic constraint classi cation preprocessing primal heuristics and constraint generation Moreover the user can enrich the basic algorithm by providing a variety of specialized application routines that can customize MINTO to achieve maximu...

A Minto Short Course 1